Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings
- Genre
- Electronic books
- Språk
- Okänt
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Springer International Publishing | 2020 | Utgivningsland okänt / Ej specificerat |